181. Introduction to discrete mathematics for software engineering
Author: Denvir, Tim
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics ، Electronic data processing,، Software engineering
Classification :
QA
76
.
9
.
M35
D45
1986
182. Introduction to discrete mathematics for software engineering
Author: / Tim Denvir
Library: Library of Institude of Geophysics (Tehran)
Subject: Electronic data processing--mathematics
Classification :
QA
76
.
9
.
M35
183. Introductory Statistics and Random Phenomena
Author: by Manfred Denker, Wojbor A. Woyczyński, Bernard Ycart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Distribution (Probability theory).,Mathematics.,Statistics.
184. Invariant Methods in Discrete and Computational Geometry :
Author: edited by Neil L. White.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Electronic data processing.
Classification :
QA448
.
D38
E358
1995
185. It's all about coordination :
Author: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
58
.
I87
2018eb
186. Linear Algebra for Large Scale and Real-Time Applications
Author: edited by Marc S. Moonen, Gene H. Golub, Bart L. R. Moor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Mathematics.,Systems theory.
187. Managing the unmanageable : systematic downloading of electronic resources by library users / Gayle Baker, Carol Tenopir -- Library/vendor relations : the APA experience / Linda Beebe -- Managing customer relationships : a book vendor point-of-
Author: Sam Brooks, David H. Carlson, editors.
Library: Library of Islamic Parliament (Tehran)
Subject:
188. Math bytes :
Author: Timothy P. Chartier
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Popular works,Mathematics-- Data processing, Popular works,Mathematics, Popular works
Classification :
QA93
.
C47
2014
189. Mathematical Principles of Fuzzy Logic
Author: by Vilém Novák, Irina Perfilieva, Jiří Močkoř.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematics.
190. Mathematical aspects of computer science
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Addresses, essays, lectures,، Electronic data processing-- Mathematics-- Addresses, essays, lectures
Classification :
QA
76
.
S895
1966
191. Mathematical foundations of computer science 1988: proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Electronic data processing-- Mathematics
Classification :
QA
76
.
9
.
M35
.
S95
1988
192. Mathematical knowledge management
Author: / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Data processing--Congresses,Information storage and retrieval systems--Mathematics--Congresses,Automatic theorem proving--Congresses
Classification :
QA
,
76
.
95
,.
I565
,
2003
193. Mathematical logic and theoretical computer science
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
Classification :
QA
9
.
2
.
M35
1987
194. Mathematical logic for computer science
Author: Lu, Chung-wan.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic data processing - Mathematics , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
L8
1989
195. Mathematical logic for computer science
Author: Lu, Chung-wan
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
L8
1989
196. Models, algorithms, and technologies for network analysis :
Author: Boris I. Goldengorin, Valery A. Kalyagin, Panos M. Pardalos, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical optimization, Congresses,System analysis-- Data processing, Congresses,System analysis-- Mathematical models, Congresses
Classification :
QA402
.
I58
2012
197. Modern computer algebra
Author: / Joachim von zur Gathen and Jurgen Gerhard
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Algebra- Data processing,Computer algorithms,Computer science- Mathematics
Classification :
QA155
.
7
.
E4
,
Z87
1999
198. Multirate filtering for digital signal processin
Author: / Ljiljana Milic
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: MATLAB.,Signal processing--Digital techniques--Data processing,Signal processing--Digital techniques--Mathematics,Electric filters, Bandpass--Computer simulation,Multiplexing--Computer simulation
Classification :
TK
,
5102
.
9
,.
M545
,
2009
199. Multiset processing
Author: / Cristian S. Calude ... [et al.] (eds.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Congresses,Computer science--Mathematics--Congresses,Molecular computers--Congresses
Classification :
QA
,
76
.
5
,.
M85
,
2001
200. Multiset processing : mathematical, computer science, and molecular computing points of view
Author: Cristian S. Calude...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing,Congresses ، Computer science -- Mathematics,Congresses ، Molecular computers
Classification :
QA
76
.
L28
Vol
.
2235
